Yannick Chevalier And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 32.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002656 | Yannick Chevalier [France] ; Mohamed Anis Mekki [France] ; Michaël Rusinowitch [France] | Orchestration under Security Constraints |
| 003094 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Decidability of Equivalence of Symbolic Derivations |
| 003169 | Yannick Chevalier [France] ; Michael Rusinowitch [France] | Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures |
| 003180 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Compiling and securing cryptographic protocols |
| 003357 | Philippe Balbiani [France] ; Yannick Chevalier [France] ; Marwa El-Houri [France] | A Logical Framework for Reasoning about Policies with Trust Negotiations and Workflows in a Distributed Environment |
| 004460 | Yannick Chevalier [France] ; Michael Rusinowitch [France] | Hierarchical combination of intruder theories |
| 004B52 | Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France] | Verifying Cryptographic Protocols with Subterms Constraints |
| 004B58 | Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France] | Towards an Automatic Analysis of Web Service Security |
| 005471 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Hierarchical Combination of Intruder Theories |
| 005D45 | Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyril Héam ; O. Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Mathieu Turuani ; Luca Vigano ; Laurent Vigneron | The AVISPA Tool for the automated validation of internet security protocols and applications |
| 006286 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Combining Intruder Theories |
| 006380 | Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP decision procedure for protocol insecurity with XOR |
| 006784 | Yannick Chevalier ; Laurent Vigneron | Rule-based Programs describing Internet Security Protocols |
| 006847 | Yannick Chevalier ; Ralf Küesters ; Michael Rusinowitch ; Mathieu Turuani | Deciding the Security of Protocols with Commuting Public Key Encryption. |
| 006862 | Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent Vigneron | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
| 006863 | Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent Vigneron | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
| 006897 | Yannick Chevalier | A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or |
| 006975 | Yannick Chevalier ; Laurent Vigneron | Strategy for Verifying Security Protocols with Unbounded Message Size |
| 007663 | Yannick Chevalier ; Ralf Kuester ; Michael Rusinowitch ; Mathieu Turuani ; Laurent Vigneron | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007813 | Yannick Chevalier | Résolution de problèmes d'accessibilité pour la compilation et la validation de protocoles cryptographiques |
| 007A61 | Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007B67 | Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis] | Deciding the security of protocols with Diffie-Hellman Exponentiation and products in exponents |
| 008443 | Yannick Chevalier ; Laurent Vigneron | Automated Unbounded Verification of Security Protocols |
| 008594 | Alessandro Armando ; David Basin ; Mehdi Bouallagui ; Yannick Chevalier ; Luca Compagna ; Sebastian Moedersheim ; Michael Rusinowitch ; Mathieu Turuani ; Luca Vigano ; Laurent Vigneron | The AVISS Security Protocol Analysis Tool |
| 008734 | Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Sebastian Mödersheim [Allemagne] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigan [Allemagne] ; Laurent Vigneron [France] | The AVISS Security Protocol Analysis Tool |
| 008837 | Yannick Chevalier [France] ; Laurent Vigneron [France] | Automated Unbounded Verification of Security Protocols |
| 008A64 | Yannick Chevalier [France] ; Laurent Vigneron [France] | Strategy for Verifying Security Protocols with Unbounded Message Size |
| 008B80 | Yannick Chevalier [France] ; Laurent Vigneron [France] | Automated Unbounded Verification of Security Protocols |
| 008C94 | Yannick Chevalier [France] ; Laurent Vigneron [France] | Towards Efficient Automated Verification of Security Protocols |
| 008F95 | Yannick Chevalier ; Laurent Vigneron | Towards Efficient Automated Verification of Security Protocols |
| 009011 | Yannick Chevalier ; Laurent Vigneron | A Tool for Lazy Verification of Security Protocols |
| 009705 | Yannick Chevalier [France] ; Laurent Vigneron [France] | A Tool for Lazy Verification of Security Protocols |
| This area was generated with Dilib version V0.6.33. |  |